Skip to content

Bound the inspector page list so a proof whose browser never opens fails in time - #173

Open
LucaCappelletti94 wants to merge 1 commit into
mainfrom
fix/android-proof-bounded-inspector
Open

LucaCappelletti94 wants to merge 1 commit into
mainfrom
fix/android-proof-bounded-inspector

Conversation

@LucaCappelletti94

Copy link
Copy Markdown
Owner

The Android proof waits up to 90 seconds for the login tab, checking its deadline between rounds, but each round first lists the browser's tabs over the adb forward with no timeout. When the demo never opens a tab, the forward accepts the connection and nothing answers, so the first round never returns and the proof hangs until the job limit kills it, leaving no evidence.

list_pages now bounds the whole request by REPLY_BOUND, so the wait reaches its deadline and fails with "no browser tab opened". The iOS proof's two lookups use the same function and get the same bound.

@coderabbitai

coderabbitai Bot commented Oct 17, 2026

Copy link
Copy Markdown

Warning

Review limit reached

You've used all free OSS reviews for now. Wait for the free limit to reset to keep reviewing this public repository.

Next included review available in 6 minutes.

Check out review usage here.

View limit details

Limit details: You’ve used the included review currently available.

Learn how review limits work.

Review configuration:

⚙️ Run configuration
  • Configuration used: Repository: LucaCappelletti94/coderabbit/.coderabbit.yaml
  • Review profile: ASSERTIVE
  • Plan: Advanced
  • Run ID: e2dd9f78-e345-4874-a5a2-d012c153c5ef
📥 Commits

Reviewing files that changed from the base of the PR and between 026f852 and 036ebd4.

📒 Files selected for processing: 1
  • crates/connetto-test-harness/src/inspector.rs
  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

❤️ Share

Comment @coderabbitai help to get the list of available commands.

@codecov

codecov Bot commented Oct 17, 2026 •

Copy link
Copy Markdown

Codecov Report

❌ Patch coverage is 73.33333% with 8 lines in your changes missing coverage. Please review.
✅ Project coverage is 87.82%. Comparing base (026f852) to head (036ebd4).

Files with missing lines Patch % Lines
crates/connetto-test-harness/src/inspector.rs 73.33% 8 Missing ⚠️
Additional details and impacted files
@@            Coverage Diff             @@
##             main     #173      +/-   ##
==========================================
+ Coverage   85.07%   87.82%   +2.75%     
==========================================
  Files         188      188              
  Lines       50326    50351      +25     
  Branches    50326    50351      +25     
==========================================
+ Hits        42813    44223    +1410     
+ Misses       5414     4044    -1370     
+ Partials     2099     2084      -15     
Flag Coverage Δ
client 60.60% <0.00%> (+0.04%) ⬆️
rest 55.66% <73.33%> (+0.04%) ⬆️
server 51.82% <0.00%> (+4.40%) ⬆️

Flags with carried forward coverage won't be shown. Click here to find out more.

☔ View full report in Codecov by Harness.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@sonarqubecloud

Copy link
Copy Markdown

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant